Awesome research from Microsoft
research.microsoft.com
Awesome research from Microsoft
1–9 of 9 posts
Re: Awesome research from Microsoft
#2actual title: "Self-Certification: Bootstrapping Certified Typecheckers in F* with Coq"
Re: Awesome research from Microsoft
#3All this coq 'n agda stuff won't produce anything of practical value to software engineering before the singularity arrives. Haskell is already too much for practical work, ocaml's near the perfect typed language point.
Re: Awesome research from Microsoft
#4All this coq 'n agda stuff won't produce anything of practical value to software engineering before the singularity arrives. Haskell is already too much for practical work, ocaml's near the perfect typed language point.
Haskell is already too much for practical work?
No.
I use it as my main scripting language.
Re: Awesome research from Microsoft
#5All this coq 'n agda stuff won't produce anything of practical value to software engineering before the singularity arrives. Haskell is already too much for practical work, ocaml's near the perfect typed language point.
Haskell is already too much for practical work? No. I use it as my main scripting language.
Have you tried ocaml. Haskell keeps moving, takes much longer to get to grips with, and most users don't use all it's features (which keep growing). Meanwhile you can get your head around all of ocaml pretty easily and it gives you no surprises. Ocaml is for coders, haskell's for grad students.
Re: Awesome research from Microsoft
#6All this coq 'n agda stuff won't produce anything of practical value to software engineering before the singularity arrives. Haskell is already too much for practical work, ocaml's near the perfect typed language point.
This paper may not be singularity stuff, but it is from January 2012!
Re: Awesome research from Microsoft
#7All this coq 'n agda stuff won't produce anything of practical value to software engineering before the singularity arrives. Haskell is already too much for practical work, ocaml's near the perfect typed language point.
This paper may not be singularity stuff, but it is from January 2012!
this formal methods shit has been going for decades and will do so for decades more being hardly used by anyone, by which time the singularity will arrive and nobody will need to program
Re: Awesome research from Microsoft
#8Earlier quoted context omitted.
Haskell is already too much for practical work? No. I use it as my main scripting language.
Have you tried ocaml. Haskell keeps moving, takes much longer to get to grips with, and most users don't use all it's features (which keep growing). Meanwhile you can get your head around all of ocaml pretty easily and it gives you no surprises. Ocaml is for coders, haskell's for grad students.
I haven't tried it, but sounds like I should :)
Re: Awesome research from Microsoft
#9Earlier quoted context omitted.
Have you tried ocaml. Haskell keeps moving, takes much longer to get to grips with, and most users don't use all it's features (which keep growing). Meanwhile you can get your head around all of ocaml pretty easily and it gives you no surprises. Ocaml is for coders, haskell's for grad students.
I haven't tried it, but sounds like I should :)
Yea, along with prolog, it's one of the hidden pearls of programming