Привет

Привет! Зашел к вам посмотерть из чата по Clojure

Привет! Зашел к вам посмотерть из чата по Clojure

Ага, я видел обсуждение. :)

чат по Clojure в студию

@clojure_ru

спс

Еще из свежего: https://youtu.be/wVZhlsYQkf8?t=31m16s

т.е. для избавления от одного боксинга сделали отдельный хак в компиляторе? о,О

т.е. для избавления от одного боксинга сделали отдельный хак в компиляторе? о,О

Да. It's because the C# compiler does not generate code to box stuff to IEnumerable or IEnumerator in a foreach loop if it can avoid it! https://stackoverflow.com/questions/3168311/why-do-bcl-collections-use-struct-enumerators-not-classes?lq=1

https://twitter.com/vyedin/status/959084062043443200

Кажется, Сайму идет на пользу работа в Xamarin: начал ковыряться в библиотеках/фреймворках, на конференцию подался докладчиком.

В слаке, опять же, начал тусить немного.

мне кажется просто освободилось время которое ранье раньше уходило на что-то другое

Хорошее время учить f#?

Привет!

Привет!

Привет! )

Я верстальщик, представитель вымирающей профессии, заинтересовал меня F# и вот думаю попробовать его для создания своих хоумпейджей

а потом может и для чего посерьёзнее

Я верстальщик, представитель вымирающей профессии, заинтересовал меня F# и вот думаю попробовать его для создания своих хоумпейджей

https://github.com/giraffe-fsharp/Giraffe

https://github.com/giraffe-fsharp/Giraffe

да уже видел все эти фреймворки. Но для начала не помешало бы синтаксис выучить и написать пару десяткоов приложений )4

Дык вот по ходу и выучишь :)

Дык вот по ходу и выучишь :)

я так понимаю заработать на нём вообще нереально? )

Только собственные проекты делать

если очень повезет, а так пока сидит в тени C# =)

ну да ладно, пока что как нить на фронтенде перьебьюсь - а F# пока что чисто justforfun

т.е. для избавления от одного боксинга сделали отдельный хак в компиляторе? о,О

Нет там никакого хака. Просто компилятор так работает. «Хак для IEnumerable<T>» появился раньше, чем сами IEnumerable<T>, что, гм, сомнительно.

Я, кстати, никогда не задумывался о том, как это работает в F#. Мы унаследовали эти кусочки структурной типизации из C# или нет?

Да. https://sharplab.io/#v2:DYLgZgzgNALiCWwoBMQGoA+BtAPAZRgCcBXAYxgD4BdAWACgYBPABwFMACASRlcIEMYAe0LsAvPXaT2AW1bSARr3YB9ZQDoAsoIBurAHKsAHjAAUASjHsixVhKmyFS1WoDCxQoVYA7GOwDu8DAAFuwA5qymFqLsXsTAwHaS9ExsXDz88sCs5mKJMnKKIs4A4hEAorGy/EKEOdHcvALC5vT0Wb7SfPBedXnt7KSWDRlZLXRS7GDC7Ibs3QPsyILsY0A==

(поинт в том, что для итерации по объекту необязательно вообще реализовывать какие-либо интерфейсы: простого наличия некоторых методов и свойств с подходящими сигнатурами достаточно)

(поинт в том, что для итерации по объекту необязательно вообще реализовывать какие-либо интерфейсы: простого наличия некоторых методов и свойств с подходящими сигнатурами достаточно)

Не понял, как утинная типизация связана с отсутствием боксинга?

Не понял, как утинная типизация связана с отсутствием боксинга?

Утиная типизация позволяет компилятору выбирать метод GetEnumerator() с той сигнатурой, которая ему «понравится», а не тот, который реализует метод интерфейса IEnumerable.GetEnumerator. * на самом деле, конечно, там чёткое правило выбора метода для цикла foreach, и никаких рассуждений в стиле «нравится-не нравится» компиляторы не делают.

Утиная типизация позволяет компилятору выбирать метод GetEnumerator() с той сигнатурой, которая ему «понравится», а не тот, который реализует метод интерфейса IEnumerable.GetEnumerator. * на самом деле, конечно, там чёткое правило выбора метода для цикла foreach, и никаких рассуждений в стиле «нравится-не нравится» компиляторы не делают.

Т.е. компилятор решает проблему foreach сразу через утиную типизацию, а не через "найди IEnumerable[<T>] иначе найди по сигнатуре"? Соответственно проблема боксинга просто не возникает.

Т.е. компилятор решает проблему foreach сразу через утиную типизацию, а не через "найди IEnumerable[<T>] иначе найди по сигнатуре"? Соответственно проблема боксинга просто не возникает.

Не уверен, что ты меня правильно понял. Это (поиск метода GetEnumerator() для цикла for / foreach) — просто один из нескольких частных случаев применения структурной типизации в языках C# и F#.

И оно работает не совсем так, как ты написал, а наоборот: просто «найди по сигнатуре». IEnumerable<T> — это уже удобство, формальный контракт, который к циклам особенного отношения с точки зрения системы типов не имеет.

Компилятор просто ищет подходящую перегрузку для GetEnumerator() среди доступных методов и не смотрит при этом, реализуешь ты или не реализуешь интерфейсы.

В C# с GetAwaiter точно такая же ситуация.

Компилятор просто ищет подходящую перегрузку для GetEnumerator() среди доступных методов и не смотрит при этом, реализуешь ты или не реализуешь интерфейсы.

Ок, я так и понял.

Коллеги, а как заставить dotnet build захватывать файлы сигнатур?

А файлы сигнатур в проект добавлены?

Да. Он их не ест.

Я намеренно в них ошибку вношу - все компилируется

Пробовал режимы включения None и Compile - в None - полный игнор, в Compile - duplicate type names

Похоже на баг

А в большом дотнете в каком режиме они включены?

https://github.com/Microsoft/visualfsharp/issues/2407

Баг, короче

Хотя это, возможно, и не совсем то

https://twitter.com/sergey_tihon/status/959797656712335360

Хорошее время учить f#?

Да

Хорошее время учить f#?

Нет, учи лучше скалу.

@tigati Всё учи, что нравится, никого не слушай.

In Depth# Runtime WebAssembly This release includes our preliminary port of Mono to WebAssembly. It should be possible to build both the runtime and class libraries targeting it. Mono + WebAssembly

Mono 5.8.0 Release Notes | Mono http://www.mono-project.com/docs/about-mono/releases/5.8.0/

Нет, учи лучше скалу.

правильно. им свежая кровь нужна. а то главные контрибьютеры уже веру теряют https://www.techworld.com.au/article/554448/typeface-cofounder-forking-scala-compiler/

https://wende.github.io/elchemy-ivy/

https://wende.github.io/elchemy-ivy/

С инженерной точки зрения выглядит странно.

Я про трансляцию в Elixir.

правильно. им свежая кровь нужна. а то главные контрибьютеры уже веру теряют https://www.techworld.com.au/article/554448/typeface-cofounder-forking-scala-compiler/

Какая древность.

Какая древность.

и? потерало актуальность?

и? потерало актуальность?

Как минимум по этой статье нельзя судить об текущем положении дел. ;)

текущее положение дел такого, что официальным языком для андроида выбран новорожденный котлин, а не скала с ее гораздо более длинной историей.

текущее положение дел такого, что официальным языком для андроида выбран новорожденный котлин, а не скала с ее гораздо более длинной историей.

Котлин здесь каким боком?

Scala живая, развивается, используется в проектах. Что тут обсуждать-то?

текущее положение дел такого, что официальным языком для андроида выбран новорожденный котлин, а не скала с ее гораздо более длинной историей.

разные вещи же

жава не отвечает высоким требования гугла. ее надо сменить на чтото более продвинутое. варианты котлин и скала.

у гугла нет высоких требований

android sdk и все его интерфейсы это шлак и помойка

сдк к языку каким боком?

шлак на всем можно нарожать

https://github.com/Microsoft/visualfsharp/issues/2407

Не, это про FSharp Interactive, а не про файлы определений.

Пробовал режимы включения None и Compile - в None - полный игнор, в Compile - duplicate type names

Спросил в Слаке, будет ответ — отпишусь.

https://twitter.com/mscntk/status/960059340815085568

> mathias [6:07 AM] > Quick update: version 2.4 of CNTK is out. I updated CNTK.FSharp accordingly, and started to 1. move code from scripts to a library 2. incorporate a type Tensor that wraps Variable and Function under one discriminated union, to help build lower-level expressions / computations without having to suffer too much from the lack of implicit conversion going from C# to F#

Матиас весь в работе. :)

Не, это про FSharp Interactive, а не про файлы определений.

спс

текущее положение дел такого, что официальным языком для андроида выбран новорожденный котлин, а не скала с ее гораздо более длинной историей.

Потому что котлин ближе к яве и не тащит за собой полтонны рантайма. Но причем тут F#?

Потому что котлин ближе к яве и не тащит за собой полтонны рантайма. Но причем тут F#?

пьеса выше

Пробовал режимы включения None и Compile - в None - полный игнор, в Compile - duplicate type names

В Slack говорят, что надо юзать <Content Include="my.fsi"/>

В Slack говорят, что надо юзать <Content Include="my.fsi"/>

спасибо, попробую

Господа, в паттерн матчинге можно использовать поля модуля, например, для строк, или только константы и алиасы?

Может, кривовато объяснил. Я хочу, хардкод "smth" match str with | "smth" -> .... вынести в поле отдельное

Может, кривовато объяснил. Я хочу, хардкод "smth" match str with | "smth" -> .... вынести в поле отдельное

Active Patterns для этого не подходят?

все время забываю про них, еще не пробовал)

Может, кривовато объяснил. Я хочу, хардкод "smth" match str with | "smth" -> .... вынести в поле отдельное

насколько знаю, можно вынести вынести строку в литерал и ее матчить [<Literal>] let smth = "smth"

насколько знаю, можно вынести вынести строку в литерал и ее матчить [<Literal>] let smth = "smth"

во, прям то, что надо, спасибо

Кто-нибудь возможно сталкивался, PSeq в кору 2.* завезли уже?

Кто-нибудь возможно сталкивался, PSeq в кору 2.* завезли уже?

Судя по тому, что пакет вышел в 2014 году, нет :)

Кто-нибудь возможно сталкивался, PSeq в кору 2.* завезли уже?

А тебе правда нужно? А то давай устроим движуху и портанём.

Кстати, судя по репозиторию, там должна быть поддержка PCL. Возможно, и париться не нужно, а оно просто возьмёт и заработает.

Кстати, судя по репозиторию, там должна быть поддержка PCL. Возможно, и париться не нужно, а оно просто возьмёт и заработает.

попытался сделать To build and test: build.cmd RunTests Unable to find package 'FAKE'. The system cannot find the path specified.

Интересная вакансия "Разработчик F#" — https://hh.ru/vacancy/23740538?from=share_android Отправлено с помощью мобильного приложения HeadHunter https://hh.ru/mobile?from=share_android

Интересная вакансия "Разработчик F#" — https://hh.ru/vacancy/23740538?from=share_android Отправлено с помощью мобильного приложения HeadHunter https://hh.ru/mobile?from=share_android

Фигасе... Даже вакансии по фшарпу есть!

Интересная вакансия "Разработчик F#" — https://hh.ru/vacancy/23740538?from=share_android Отправлено с помощью мобильного приложения HeadHunter https://hh.ru/mobile?from=share_android

.net Excel interop) Хотя за неимением горничной

А тебе правда нужно? А то давай устроим движуху и портанём.

не к спеху, просто внезапно столкнулся, думал перенесли) Или кто-то еще чем-то пользуется чтобы распараллелить обработку?)

не к спеху, просто внезапно столкнулся, думал перенесли) Или кто-то еще чем-то пользуется чтобы распараллелить обработку?)

Ну, я лично просто тыкал обычный AsParallel из стандартного LINQ.

Но он, конечно, может не во все фишки F# уметь, так что тут смотреть нужно. Про модуль PSeq я впервые слышу, например :)