|
392
|
1 2012-02-24.txt:08:11:00: <zzo38> If I make document new programming language similar Haskell but half of things difference and other things too, then maybe it can be called "Ibtlfmm"? (O, it is like, "Iuckqlwviv Kjugobe", but completely difference except first letter? Also the letter they seem to just put together... but both of these thing have their ways of making the letters)
|
|
|
2 2012-02-25.txt:07:12:30: <zzo38> I was thinking about my ideas for Ibtlfmm programming language (I might eventually write a specification document, and/or a compiler, and/or a tag in Phlogjournal for stuff I occasionally write about it). One thing is that unlike Haskell, a class can be many things; it can be: a type signature of a method, a tag, a type family, a mathematical law, or a combination of classes.
|
|
|
3 2012-02-25.txt:19:56:52: <oerjan> <zzo38> I was thinking about my ideas for Ibtlfmm programming language <-- i'm sorry but elliott will never be able to distinguish that from Itflabtijtslwi.
|
|
|
4 2012-02-25.txt:21:21:25: <zzo38> Do you have any comments about my ideas of Ibtlfmm programming language I was thinking about? (near timestamp 1330153950)
|
|
|
5 2012-02-26.txt:04:33:09: <zzo38> In Haskell channel, someone said I made the same problem of including Int in Prelude. I agree and I realized I made a few other mistakes too, in Ibtlfmm example, so I will write the specification fix these problems. There shall be no Int, but there can be Int8, Int16, Int32, Int64, and Integer. Do you think so?
|
|
|
6 2012-02-26.txt:05:22:04: <zzo38> Is this good so far? So far I have only the main headings. http://zzo38computer.cjb.net/Ibtlfmm/ibtlfmm_specification.tex Perhaps I might change the name; if you can suggest better name ("Ibtlfmm" is not necessarily best name to call it)
|
|
|
7 2012-02-29.txt:21:37:06: <zzo38> I have written some idea too, about some programming language codenamed "Ibtlfmm", where the type system includes implementation of mathematical laws of classes
|
|
|
8 2012-03-06.txt:19:55:42: <zzo38> In my own (codenamed) "Ibtlfmm" one idea include, you might have: type TypeOf (_ :: {t :: k}) :: k = t; type MyLayout = TypeOf {myLayoutHook};
|
|
|
9 2012-03-08.txt:07:16:09: <zzo38> There is the way I have tried to design the "Ibtlfmm" package system; it is better than Haskell's system in my opinion, and does not require web 2.0 or anything else like that; no centralized system is required either, and no internet is necessarily required.
|
|
|
10 2012-03-12.txt:05:13:05: <zzo38> Some people have describe my "Ibtlfmm" idea as something like combine Haskell with Lisp; it is something like that. But really my idea something like a few stuff from Haskell, Lisp, LLVM, and a few others.
|
|
|
11 2012-03-16.txt:23:11:41: <zzo38> Do you like my idea of Ibtlfmm allowing the main to be of any type instead of only IO? (but to make a standalone executable it still has to be either (IO ()) or (unsafe "c_int(c_int,c_char**)"), otherwise you can make a dynamically loadable file but not a standalone executable)
|
|
|
12 2012-03-27.txt:22:58:08: <zzo38> In Ibtlfmm (currently a codename), the uninhabited type is called 0, and Word8 is now called Nat8, and Maybe is now called a successor monad; is it better?
|
|
|
13 2012-03-31.txt:00:45:59: <zzo38> Haskell specifies the Char is Unicode from 0hex to 10FFFFhex, but I think, Ibtlfmm shall go up to FFFFFFhex and the implementation is not required to be Unicode, it can use anything, as long as it is ASCII.
|
|
|
14 2012-04-06.txt:01:35:10: <zzo38> In addition, both hide/override class instances, and a kind for modules, are ideas for my new programming language (called Ibtlfmm currently; if you don't like that name, call it HELLwaPAIN or something else). There is the @ kind which is the kind of program modules, etc. This will solve it too, I think. As well as having macros, that also helps.
|
|
|
15 2012-04-09.txt:04:36:49: <zzo38> Because, if you have anything wrong with Haskell then please write it down we can make the "Ibtlfmm working group" to write everything down together how to make up the new programming language too
|
|
|
16 2012-04-11.txt:20:04:52: <zzo38> I like Haskell but prefer Ibtlfmm. But tell me do you think dvi-processing is programmed in a functional style or not?
|
|
|
17 2012-04-12.txt:05:41:21: <zzo38> Please tell me what your idea of this type system I have idea of (for Ibtlfmm, not for Haskell; but similar). I will describe some of its features so that you can complain about it properly.
|
|
|
18 2012-04-13.txt:21:48:53: <zzo38> Perhaps I could write some phlog journal messages about idea of Ibtlfmm, in case you are interested about that. But maybe the syntax *(x) -> {x} -> * is not so good because of the datakinds kind K x = K * (x -> x); it might use ( for grouping too. Maybe this syntax better? (* =x) -> {x} -> * or something else you have idea?
|
|
|
19 2012-04-13.txt:22:17:44: <zzo38> What is your opinion of the Ibtlfmm's extended kind system? Is crazy? Is good? Is bad? Is you don't know?
|
|
|
20 2012-04-16.txt:20:52:41: <zzo38> These are a few of things stupid with Haskell, so we should make Ibtlfmm it does better. If you want to control such optimization things as memoization more precisely, you could use inline LLVM codes, and attribute pragmas attached to function to control many things if needed
|
|
|
21 2012-04-22.txt:01:09:29: <zzo38> I don't like the way those reflection stuff works; I had a better solution in Ibtlfmm where values can be made into types by {} around it and types into kinds by {} around it but it is not implemented as far as I know
|
|
|
22 2012-04-22.txt:19:53:34: <zzo38> Ibtlfmm could be made to compile into Haskell but it wouldn't work well because of some optimizations which are not allowed in Haskell and that an interpreter would be difficult too
|
|
|
23 2012-04-23.txt:02:41:53: <zzo38> Another programming language I wanted to invent, other than Ibtlfmm, is one which combines C, LLVM, and BLISS. Do you have any suggestion for name? Probably I could implement it more easily, and possibly in Haskell; but it will compile into LLVM
|
|
|
24 2012-05-06.txt:07:50:45: <zzo38> kmc: Myself too, it is why I wanted to make up the working group for new "Ibtlfmm" programming language, to make these and other features; perhaps we can help
|
|
|
25 2012-05-06.txt:07:53:03: <lambdabot> "Ibtlfmm"
|
