Difference between revisions of "User:Atravers"
Jump to navigation
Jump to search
(Created page with "My dear friend Atravers, This page "Atribuirea" meaning "Assignment" is part of the Description of a Mini DSL (domanin small language) we have used to teach computer science...") |
m |
||
| (11 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | My dear friend Atravers, |
||
| + | = Stuff that <i>sometimes</i> interests me... = |
||
| − | This page "Atribuirea" meaning "Assignment" |
||
| − | is part of the Description of a Mini DSL (domanin small language) we have used to teach |
||
| − | computer science in Romania,for beginers. |
||
| + | === Managing side effects === |
||
| − | Because the course is inactive from this year, there is no activity on the page. |
||
| − | Put please do not remove the content related to a well made Haskell project, |
||
| − | even if the language implemented is a sort of little C with national keywords, |
||
| − | and do not resamble to Haskell. |
||
| + | These references are from earlier versions of my (various) language proposals - they're here for the time being until I find somewhere more suitable... |
||
| − | It is really very unpleasant to see |
||
| − | that your work in a community is removed, |
||
| − | would you like to contribute in such conditions ? |
||
| + | * [https://web.archive.org/web/20200815141321/https://www.alsonkemp.com/haskell/reflections-on-leaving-haskell Reflections on leaving Haskell], Alson Kemp. |
||
| − | Thank you very much, |
||
| + | <!-- |
||
| − | Lect. Dan Popa |
||
| + | * [https://www.alsonkemp.com/haskell/reflections-on-leaving-haskell Reflections on leaving Haskell], Alson Kemp. |
||
| − | aka Haskell, |
||
| + | --> |
||
| − | promoter of Haskell in Roumania. |
||
| + | |||
| + | * [https://paul.bone.id.au/pub/pbone-2016-haskell-sucks.pdf Haskell Sucks!], Paul Bone. |
||
| + | |||
| + | * [https://www.cs.ru.nl/barendregt60/essays/hartel_vree/art10_hartel_vree.pdf Lambda Calculus For Engineers], Pieter H. Hartel and Willem G. Vree. |
||
| + | * <span style="color:#ba0000">Functional I/O Using System Tokens</span>, Lennart Augustsson. |
||
| + | |||
| + | * <span style="color:#ba0000">I/O Trees and Interactive Lazy Functional Programming</span>, Samuel A. Rebelsky. |
||
| + | |||
| + | * <span style="color:#ba0000">Temporal Constraint Functional Programming: A Declarative Framework For Concurrency and Interaction</span>, T.C. Nicholas Graham. |
||
| + | |||
| + | * <span style="color:#ba0000">Arborescent data structures and lazy evaluation: A new approach to numerical problems</span>, Manuel Carcenac. |
||
| + | |||
| + | === Semantics === |
||
| + | |||
| + | <!-- |
||
| + | * [ftp://ftp.cse.ohio-state.edu/pub/tech-report/2008/TR13.pdf On an Incompatibility of Functional Programming and Functional Semantics], Bruce W. Weide. |
||
| + | --> |
||
| + | * <span style="color:#ba0000">On an Incompatibility of Functional Programming and Functional Semantics</span>, Bruce W. Weide. |
||
Latest revision as of 22:32, 30 September 2024
Stuff that sometimes interests me...
Managing side effects
These references are from earlier versions of my (various) language proposals - they're here for the time being until I find somewhere more suitable...
- Reflections on leaving Haskell, Alson Kemp.
- Haskell Sucks!, Paul Bone.
- Lambda Calculus For Engineers, Pieter H. Hartel and Willem G. Vree.
- Functional I/O Using System Tokens, Lennart Augustsson.
- I/O Trees and Interactive Lazy Functional Programming, Samuel A. Rebelsky.
- Temporal Constraint Functional Programming: A Declarative Framework For Concurrency and Interaction, T.C. Nicholas Graham.
- Arborescent data structures and lazy evaluation: A new approach to numerical problems, Manuel Carcenac.
Semantics
- On an Incompatibility of Functional Programming and Functional Semantics, Bruce W. Weide.