- Haskell-Cafe - Haskell.org

stream interface vs string interface: references
by damodar kulkarni 03 Sep '13

03 Sep '13

In a reply to the question on the thread titled "Can I use String without "" in ghci?", Richard A. O'Keefe has noted that, It's also the what-Smalltalk-got-right-and-Java-got-wrong lesson: the right > way to convert objects to text is via a *stream* interface, not a *string* > interface. > I didn't want to clutter that thread so I am asking a question here. Where do I find foundational and/or other good references on the topic of "stream interface vs string interface to convert objects to text"? I tried google but failed. I am looking for pointers that explain the rational behind the above claim made by O'Keefe. and what is the take of Haskell on this topic? Thanks and regards, -Damodar Kulkarni

2 2

Fw: Re: On Markdown in Haddock and why it's not going to happen
by John MacFarlane 02 Sep '13

02 Sep '13

+++ Mateusz Kowalczyk [Sep 02 13 21:34 ]: > On 02/09/13 19:43, John MacFarlane wrote: > > When the proposal was first being discussed, I suggested that instead of > > adding markdown support to haddock, one might enhance the existing > > haddock markup, making it more expressive, so that it could encode the same > > range of structural features as markdown. If I'm not mistaken, currently > > haddock doesn't allow list items with multiple paragraphs or other block > > elements, or nested lists, or images, or blockquotes. > Paragraph level elements are indeed not allowed in lists. The list > contents are currently (that is, on my working branch) allowed to be: > monospace (delimited by @), anchors, identifiers, module names, > pictures, URLs, bold, emphasis, HTML escape codes, regular strings. Note > that if a monospaced string is the only element of the list content, it > gets turned into a code block. > > I'm not sure what you mean by block elements. I mean things like paragraphs, blockquotes, code blocks, other lists. In markdown you can have a list item that contains these things: 1. This is my first list item. Second paragraph of first list item. Some code: foo = bar <$> baz <*> 2.0 2. This is my second list item. * Sublist item one * Sublist item two 3. This is my third list item. Someone said: > We want markdown support in haddock! In Haddock, last I looked, you couldn't do any of this... In your original message, you emphasized features of Haddock that don't exist in standard markdown and would require extensions (definition lists, automatic links to Haskell identifiers, etc.). But in many other ways, markdown is much more expressive than Haddock markup, as the example above illustrates. The changes that would be needed to Haddock to allow it to express what can be expressed in markdown are much bigger, I think, than the changes that would be needed to markdown to allow it to express what can be expressed in Haddock.

1 0

Proposal: Generic conditions for 'if' and 'case'
by Wvv 02 Sep '13

02 Sep '13

I think it is an old idea, but nevertheless. Now we have next functions: if (a :: Bool) then x else y case b of a1 :: Bool -> x1 a2 :: Bool -> x2 ... Let we have generic conditions for 'if' and 'case': class Boolean a where toBool :: a -> Bool instance Boolean Bool where toBool = id instance Boolean [a] where toBool [] = False toBool _ = True instance Boolean (Maybe a) where toBool Nothing = False toBool _ = True instance Boolean Int where toBool 0 = False toBool _ = True if' (a :: Boolean b) then x else y case' d of a1 :: Boolean b1 -> x1 a2 :: Boolean b2 -> x2 ... It is very easy to implement to desugar: if' a then ... == if toBool ( a ) then ... -- View this message in context: http://haskell.1045720.n5.nabble.com/Proposal-Generic-conditions-for-if-and… Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

2 3

ANNOUNCE: Ajhc Haskell Compiler 0.8.0.8 Release
by Kiwamu Okabe 02 Sep '13

02 Sep '13

We are happy to announce Ajhc 0.8.0.8. This version is a point release to fix some BUGs, and support new platforms. You can get Ajhc using "cabal install ajhc" command. The usage is found at Ajhc's project web site http://ajhc.metasepi.org/. The source code at https://github.com/ajhc/ajhc/tags. Welcome sending any bugs or your ideas to https://github.com/ajhc/ajhc/issues. ## Support new platforms ### mbed http://mbed.org/ The mbed platform is a single-board microcontroller using ARM Cortex-M3 CPU. It has only 32kB RAM for application. >From this release, Ajhc support mbed and Text LCD device driver. You can find the demo source code at https://github.com/ajhc/demo-cortex-m3, and watch the demo movie at http://www.youtube.com/watch?v=fOsjEfNmTkY. ### ChibiOS/RT http://www.chibios.org/ The ChibiOS/RT is embedded real time OS. >From this release, Ajhc can compile Haskell application running on ChibiOS/RT. The application is able to use forkOS API with ChibiOS/RT's thread. You will find the demo source code at https://github.com/metasepi/chibios-arafura. ## Other changes * Use cpphs command for C preprocessor. * Don't insert (void) cast for function call. * Add --targetsini option to specify the targets.ini file. * Data.Bits support CInt. * Retry download when some error occured on getting tar ball from Hackage DB. * Fix BUGs * Don't increment megablock count, when re-use the megablock in free list. * Fix IORef compile BUG. Enjoy! :) - - - Metasepi team

1 0

ANN: th-desugar simplifies Template Haskell processing
by Richard Eisenberg 02 Sep '13

02 Sep '13

I've just uploaded my new th-desugar package, which enables easier processing of Template Haskell source syntax by desugaring it into a much simpler core language. The meaning of the code after desugaring is identical to before desugaring, but the syntax is much simpler. To wit, th-desugar simplifies out all of the following constructs: - guarded expressions in both functions and case statements - "where" declarations - do syntax - list/monad comprehensions - record creation / updates - as patterns - non-trivial patterns in a lambda expression - lambda-case - multi-way if - several more If you are writing a library that manipulates Template Haskell syntax, you may wish to consider if th-desugar will make your job easier by forcing you to consider fewer cases. The one source Haskell construct supported by Template Haskell but not supported by th-desguar is view patterns, mostly because these interact quite non-trivially with pattern binders. It's possible this hole will be closed in a future version. Enjoy! Richard

3 3

Can I use String without "" in ghci?
by yi lu 02 Sep '13

02 Sep '13

I want to know if it is possible that I use strings without "". If I type *Prelude>foo bar* which actually I mean *Prelude>foo "bar"* However I don't want to type ""s. I have noticed if *bar* is predefined or it is a number, it can be used as arguments. But can other strings be used this way? Like in bash, we can use *ping 127.0.0.1* where *127.0.0.1* is an argument. If not, can *foo* be defined as a function so that it recognize arguments like *bar* as *"bar"*? Thanks, Yi Lu

6 7

Re: [Haskell-cafe] function arithmetic?
by Christopher Howard 02 Sep '13

02 Sep '13

On 08/31/2013 09:27 PM, Charlie Paul wrote: > I believe that this is what you want: > http://www.haskell.org/haskellwiki/Num_instance_for_functions > > On Sat, Aug 31, 2013 at 10:01 PM, Christopher Howard > <christopher.howard(a)frigidcode.com> wrote: The author seemed to be subtly mocking the idea. It seemed to be suggesting that a Num instance for functions would imply the need for constant number functions, which leads to difficulties. But I don't see why one would have to take it that far. In any case, I just tried the NumInstances package from Hackage and it seems to work great.

2 1

Proposal: Polymorphic typeclass and Records
by Wvv 01 Sep '13

01 Sep '13

Let we have data in one module as this: data Person = Person { personId :: Int, name :: String } data Address a = Address { personId :: Int, address :: String , way :: a} It was discussed a lot in topics "OverloadedRecordFields" This is an alternative: Let we have polymorphic typeclass: class Record{f} a b | a -> b where f :: a -> b so, compiler could create instances for our data as: instance Record{personId} Person Int where personId (Person x _) = x instance Record{personId} (Address a) Int where personId (Address x _ _) = x instance Record{way} (Address Int) Int where way (Address _ _ x) = x and we could use this: p:: Record {personId} r Int => r -> Int p = personId What do you think about this? -- View this message in context: http://haskell.1045720.n5.nabble.com/Proposal-Polymorphic-typeclass-and-Rec… Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

2 2

Compiler stops at SpecConstr optimization
by Daniel Díaz Casanueva 01 Sep '13

01 Sep '13

Hello. While hacking in one of my projects, one of my modules stopped to compile for apparently no reason. The compiler just freezes (like if it where in an infinite loop) while trying to compile that particular module. Since I had this problem I have been trying to reduce the problem as much as I could, and I came out with this small piece of code: > module Blah (foo) where > import Data.Vector (Vector) > import qualified Data.Vector as V > foo :: (a -> a) -> Vector a -> Vector a > foo f = V.fromList . V.foldl (\xs x -> f x : xs) [] The module I am importing comes from package vector-0.10.0.1. The compiler I am using is ghc-7.6.3. The problem arises when compiling using the following flags: ghc Blah.hs -O1 -fspec-constr If I compile it verbosely (with -v), I can see that the compiler stops in the SpecConstr optimization step. I have tried to reduce the -O1 flag to a particular set of flags, but I didn't manage yet to find the complete set of flags that -O1 translates to (optLevelFlags [1] seems to give not enough information). Since this problem can be OS-dependent, my system is Debian 7 and I didn't try yet to reproduce my problem in other systems (mainly because I don't have access to other systems at the moment). I am posting this here to, with the help of the Haskell Community, check first if this is indeed a bug and, in such case, to find out where that bug comes from (GHC, vector library, something else?). Then, if necessary, I would write a bug report where appropriate. Thank you, Daniel Díaz. -- References [1] - https://github.com/ghc/ghc/blob/ghc-7.6.3-release/compiler/main/DynFlags.hs…

4 4

Hoogle vs Hayoo
by jabolopes＠google.com 01 Sep '13

01 Sep '13

Hi, I noticed Hayoo appears as a link in the toolbox of http://hackage.haskell.org and also that Hayoo seems to display better results than Hoogle. For example, if you search for 'PublicKey' in Hayoo, you will get several results from Hackage libraries, such as, 'crypto-pubkey' and 'crypto-api'. However, the same query in Hoogle displays no results. Is Hayoo the default Hackage search engine ? Is Hoogle deprecated ? What the status ? Thank you, Jose

6 7